Murray Hill, New Jersey - PDFSEARCH.IO - Document Search Engine

Murray Hill, New Jersey
Results: 86

#	Item
51	UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types Cross-platform software Procedural programming languages Type theory Pointer Main function C Static single assignment form Dataflow Software engineering Computing Computer programming
52	AT&T Bell Laboratories Murray Hill, New Jersey[removed]Computing Science Technical Report No[removed]Why Pascal is Not My Favorite Programming Language Add to Reading List Source URL: www.eah-jena.de Language: English - Date: 2007-10-15 12:28:52 Procedural programming languages Data types Pascal C programming language Type theory Array data type Fortran C ALGOL 68 Software engineering Computing Computer programming
53	Make — A Program for Maintaining Computer Programs S. I. Feldman Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.jupiter-programs.de Language: English - Date: 2009-07-21 09:25:03 User interfaces Build automation Make Print Lex Man page Ls Tee File system Computing Software Compiling tools
54	ARTICLES OPTIMIZATION BY SIMULATED ANNEALING: AN EXPERIMENTAL EVALUATION; PART I, GRAPH PARTITIONING DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey Add to Reading List Source URL: www-vis.lbl.gov Language: English - Date: 2009-06-12 15:46:04 NP-complete problems Operations research Simulated annealing Combinatorial optimization Travelling salesman problem Graph partition Local search Algorithm Kernighan–Lin algorithm Theoretical computer science Mathematics Applied mathematics
55	Why C++ is not just an Object-Oriented Programming Language Bjarne Stroustrup AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:49 Computer programming Abstraction Class C++ Inheritance Object Eiffel Protocol Programming language Software engineering Object-oriented programming Computing
56	2014 APS Bridge Program Summer Meeting - AMJ.pptx Add to Reading List Source URL: apsbridgeprogram.org Language: English - Date: 2014-07-01 14:39:49 Bell System Douglas Osheroff Murray Hill New Jersey Science and technology in the United States United States Science James Edward Maceo West AT&T Alcatel-Lucent Bell Labs
57	ARTICLES OPTIMIZATION BY SIMULATED ANNEALING: AN EXPERIMENTAL EVALUATION; PART II, GRAPH COLORING AND NUMBER PARTITIONING DAVID S. JOHNSON A T& T Bell Laboratories, Murray Hill, New Jersey Add to Reading List Source URL: vis.lbl.gov Language: English - Date: 2009-06-12 15:46:04 NP-complete problems Graph coloring Graph partition Simulated annealing Travelling salesman problem Independent set Edge coloring Greedy coloring Graph theory Theoretical computer science Mathematics
58	ARTICLES OPTIMIZATION BY SIMULATED ANNEALING: AN EXPERIMENTAL EVALUATION; PART I, GRAPH PARTITIONING DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey Add to Reading List Source URL: vis.lbl.gov Language: English - Date: 2009-06-12 15:46:04 NP-complete problems Operations research Simulated annealing Combinatorial optimization Travelling salesman problem Graph partition Local search Algorithm Kernighan–Lin algorithm Theoretical computer science Mathematics Applied mathematics
59	Security Problems in the TCP/IP Protocol Suite S.M. Bellovin* [removed] AT&T Bell Laboratories Murray Hill, New Jersey 07974 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2013-03-12 11:37:11 Network architecture Computer network security Internet standards Transmission Control Protocol Internet protocol suite File Transfer Protocol Denial-of-service attack Netstat Internet Control Message Protocol Computing Internet Internet protocols
60	A Concurrent Window System Rob Pike AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: swtch.com Language: English - Date: 2005-09-27 12:15:39 Graphical user interfaces Windowing systems Application programming interfaces X Window System Freedesktop.org X window manager ManaGeR Window manager NeWS Software System software Computing